siêu toán học Tiếng Anh là gì

Từ điển kỹ thuật

Lĩnh vực: điện tử & viễn thông

• meta-mathematical

• siêu hiển vi học:    Từ điển kỹ thuậtultramicroscopy
• siêu vi khuẩn học:    Từ điển kỹ thuậtLĩnh vực: y họcprotobiology
• siêu họ, liền họ:    Từ điển kỹ thuậtLĩnh vực: y họcsuperfamily

Câu ví dụ

This effort in mathematics was known as the Hilbert Programme.
Chương trình tìm kiếm siêu toán học được gọi là Chương trình Hilbert.

There's the purely mathematical language, and then there is the meta-language that's describing the formal systems themselves, the rules of the formal systems.
Có ngôn ngữ toán học thuần túy, và rồi có ngôn ngữ siêu toán học, nó mô tả tự thân những hệ thống hình thức, những quy luật của những hệ thống hình thức.

There’s the purely mathematical language, and then there is the meta-language that’s describing the formal systems themselves, the rules of the formal systems.
Có ngôn ngữ toán học thuần túy, và rồi có ngôn ngữ siêu toán học, nó mô tả tự thân những hệ thống hình thức, những quy luật của những hệ thống hình thức.

Chicago doctrines in the name of which markets were largely de­regulated were an updated, supermathematicised version of the ideas Keynes had challenged seventy years earlier.
Học thuyết Chicago, dưới cái tên này, thị trường phần lớn bị bãi bỏ quy định là một phiên bản cập nhật, siêu toán học từ các ý tưởng của Keynes đã thách thức bảy mươi năm trước đó.

Thus, he showed how it was possible for an arithmetical statement about two numbers to be also a meta-mathematical statement about whether a particular arithmetical statement can or cannot be proven in the system of—say—Principia Mathematica.
Như thế, ông chỉ ra rằng một mệnh đề số học về hai con số có thể cũng là một mệnh đề siêu toán học về tính chứng minh được hay không của một mệnh đề số học nào đó trong một hệ, chẳng hạn Principia Mathematica.